<HTML><HEAD><TITLE>tent_fix(?X)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(tentative)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>tent_fix(?X)</H1>
Instantiate X to its tentative value
<DL>
<DT><EM>X</EM></DT>
<DD>Any term, typically containing tentative variables
</DD>
</DL>
<H2>Description</H2>

	This is a shorthand for
	<PRE>
		tent_get(X, TV), X = TV.
	</PRE>
    
<H3>Modes and Determinism</H3><UL>
<LI>tent_fix(?) is det
</UL>
<H3>Exceptions</H3>
<DL>
<DT><EM>(tentative_value_not_set) </EM>
<DD>X (or a subterm of X) has no tentative value
</DL>
<H2>Examples</H2>
<PRE>
    ?- tent_set(X, 27), tent_fix(X).
    X = 27
    Yes (0.00s cpu)

    ?- X = foo(_, _), tent_set(X, foo(27, 99)), tent_fix(X).
    X = foo(27, 99)
    Yes (0.00s cpu)
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/tentative/tent_set-2.html">tent_set / 2</A>, <A HREF="../../lib/tentative/has_tent_value-1.html">has_tent_value / 1</A>, <A HREF="../../lib/tentative/tent_get-2.html">tent_get / 2</A>
</BODY></HTML>
